Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท1h
๐ŸŽฏGradual Typing
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Clarity
robinsloan.comยท1d
๐Ÿง Intelligence Compression
Lobsters Interview with Zdsmith
lobste.rsยท13hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming